COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.REQUIRE "DECL.PUB[PUB,PAT]" SOURCE
C00004 ENDMK
C⊗;
.REQUIRE "DECL.PUB[PUB,PAT]" SOURCE
.GROUP SKIP 10
.BEGIN CENTER
%3Biography
.skip
JOHN MCCARTHY
%1Computer Science Department
Stanford University
.END
.SKIP 3
John McCarthy has been Professor of Computer Science
and Director of the Artificial Intelligence Laboratory since 1962.
His interests include artificial intelligence (especially its
epistemological problems), proving correctness of computer programs,
time-sharing computer systems, and the relations between technology
and society.  He is the inventor of the LISP programming language
for symbolic computation and received the A. M. Turing award of
the Association for Computing Machinery.